(DEFPROP ALLPOS 
 (LAMBDA (C) (LIST (QUOTE NULL) (LIST (QUOTE CADAR) (CADR C)))) 
MACRO)

(DEFPROP RESTRAT 
 (LAMBDA(L)
  (LIST (QUOTE COND)
	(LIST (LIST (QUOTE NULL) (CADR L))
	      (LIST (QUOTE RESTRAT1) (CADR L) (CADDR L))
	      (LIST (QUOTE GO) (CADDDR L))))) 
MACRO)

(DEFPROP RESTRAT1 
 (LAMBDA(L)
  (LIST (QUOTE COND)
	(LIST (LIST (QUOTE EQ) (LIST (QUOTE SETQ) (CADR L) (QUOTE (READ))) (QUOTE ESCAPE))
	      (QUOTE (PRINT (QUOTE RESETTING-TO:)))
	      (LIST (QUOTE GO) (CADDR L))))) 
MACRO)

(DEFPROP RESTRAT2 
 (LAMBDA(M)
  (LIST (QUOTE COND)
	(LIST (QUOTE (EQ (SETQ Z6 (READ)) (QUOTE Y))) (LIST (QUOTE RESTRAT1) (CADR M) (CADDR M)))
	(LIST (QUOTE (EQ Z6 ESCAPE)) (QUOTE (PRINT (QUOTE RESETTING-TO))) (LIST (QUOTE GO) (CADDR M))))) 
MACRO)

(DEFPROP RESTRATS 
 (LAMBDA(L)
  (LIST (QUOTE COND)
	(LIST (LIST (QUOTE EQ) (LIST (QUOTE SETQ) (CADR L) (QUOTE (READ))) (QUOTE ESCAPE))
	      (QUOTE (PRINT (QUOTE RESETTING-TO:)))
	      (LIST (QUOTE GO) (CADDR L))))) 
MACRO)

(DEFPROP ALLNEG 
 (LAMBDA (C) (LIST (QUOTE EQ) (LIST (QUOTE CADAR) (CADR C)) (LIST (QUOTE CDR) (CADR C)))) 
MACRO)

(DEFPROP ANCESTOR 
 (LAMBDA (X) (LIST (QUOTE CDDDAR) (CADR X))) 
MACRO)

(DEFPROP APPLYTEMP 
 (LAMBDA(L)
  (PROG (Z L1 S)
	(SETQ S (CDR (ASSOC (CAR L) TEMPLATELIST)))
	(COND
	 ((NOT (EQ (LENGTH (CAR S)) (LENGTH (CDR L))))
	  (PRINT (QUOTE MISMATCH-IN-TEMPLATE-VARIABLES))
	  (ERR NIL)))
	(SETQ L1 (CDR L))
   A    (SETQ Z (NCONC (APPTEMP (FIRSTS L1) S) Z))
	(SETQ L1 (RESTS L1))
	(COND ((NULL L1) (RETURN Z)))
	(GO A))) 
FEXPR)

(DEFPROP APPTEMP 
 (LAMBDA(L TEMP)
  (PROG (L2 L3)
	(SETQ L3 (CAR TEMP))
	(SETQ L2 (CDR TEMP))
   A    (SETQ L2 (SUBST (CAR L) (CAR L3) L2))
	(SETQ L (CDR L))
	(SETQ L3 (CDR L3))
	(COND (L3 (GO A)))
	(RETURN L2))) 
EXPR)

(DEFPROP BARF 
 (LAMBDA (L) (QUOTE (PRINT (QUOTE (DO YOU WANT TO CHANGE IT (Y / N)))))) 
MACRO)

(DEFPROP SEARCH1 
 (LAMBDA (X) (LIST (QUOTE SEARCH2) (CADR X) (CADDR X) NIL)) 
MACRO)

(DEFPROP CONST 
 (LAMBDA (X) (LIST (QUOTE NULL) (LIST (QUOTE CDR) (CADR X)))) 
MACRO)

(DEFPROP HERE 
 (LAMBDA (X) (LIST (QUOTE CAAR) (CADR X))) 
MACRO)

(DEFPROP VAR 
 (LAMBDA (L) (LIST (QUOTE NUMBERP) (CADR L))) 
MACRO)

(DEFPROP MKWRD 
 (LAMBDA (L) (LIST (QUOTE CDDAR) (CADR L))) 
MACRO)

(DEFPROP NEG 
 (LAMBDA (X) (LIST (QUOTE EQ) (QUOTE ESCAPE) (LIST (QUOTE CAR) (CADR X)))) 
MACRO)

(DEFPROP NEGBIT 
 (LAMBDA (X) (LIST (QUOTE CDDAAR) (CADR X))) 
MACRO)

(DEFPROP POS 
 (LAMBDA (X) (LIST (QUOTE NOT) (LIST (QUOTE NEG) (CADR X)))) 
MACRO)

(DEFPROP POSBIT 
 (LAMBDA (X) (LIST (QUOTE CADAAR) (CADR X))) 
MACRO)

(DEFPROP SEARCH 
 (LAMBDA (X) (LIST (QUOTE SEARCH2) (CADR X) (CADDR X) (CADR X))) 
MACRO)

(DEFPROP NUM 
 (LAMBDA (C) (LIST (QUOTE CAAAR) (CADR C))) 
MACRO)

(DEFPROP NEGL 
 (LAMBDA (C) (LIST (QUOTE CADAR) (CADR C))) 
MACRO)